// 复制字符T为字符串类型，长度为C

// 涉及到数字的时候，大多都使用 元组的长度属性来实现
//  初始化一个空数组 A， 每次向其中塞入一个字符串，直到数组的长度达到预期 
type RepeatString<T extends string, K, A extends any[]=[], Prev extends string = ''> = 
K extends A['length'] ? Prev :RepeatString<T,K,[...A,undefined], `${Prev}${T}`>


type A = RepeatString<'a', 5>; // 'aaaaa'
type B = RepeatString<'a', 0>; // ''

export {}
